]> dgit.raspbian.org Git - gnome-shell.git/commit
shell-app-system: Give priority to .desktop IDs that should be shown
authorMarco Trevisan (Treviño) <mail@3v1n0.net>
Thu, 23 Mar 2023 23:25:06 +0000 (00:25 +0100)
committerMarge Bot <marge-bot@gnome.org>
Thu, 20 Apr 2023 15:11:58 +0000 (15:11 +0000)
commit12bb3a601d590206c77d51be15ebc1890d1373a5
treeceae62e73a0af785febc1596be8551020a79191d
parente7a09946ca44a4f4fae6fa847f08e681cfd877cb
shell-app-system: Give priority to .desktop IDs that should be shown

If we have multiple desktop ID's that share the same startup-wm class
and none of them is actually matching the desktop-id, then we should
exclude the ones that should not be shown in the current desktop.

This will help preventing cases such as the previous one in case no
desktop file ID would match the startup-wm-class exactly.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2721>
src/shell-app-system.c